(\forall x \selec cadenasDeHoteles(m))(\forall a,b \selec x, a \neq b) nombre(a) \neq nombre(b)
